1401. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : WOPPLOT 68, )6891, Neubiberg, Germany(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253
1402. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده : WOPPLOT 38, )3891, Neubiberg, Germany(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
رده :
QA
76
.
6
.
W685
1983
1403. Web-Age Information Management
پدیدآورنده : \ Xiaokui Xiao Zhenjie Zhang (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Databases Management,پایگاه‌‌های اطلاعاتی, -- Congresses, -- کنگره‌ها, -- مدیریت,a03,a03,Computer science.,علوم کامپیوتر
رده :
QA
76
.
9
.
D3W4
2015
E-Book
,
1404. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
1405. Web and wireless geographical information systems :
پدیدآورنده : Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
1406. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1407. Wissensbasierte Systeme.
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
1408. Word Problems II
پدیدآورنده : \ edited by S. I. Adian, W. W. Boone, G. Higman.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Group theory-- Congresses.,Gödel's theorem-- Congresses.,Word problems (Mathematics)
رده :
QA171
.
W86
E-book
,
1409. Word problems II :
پدیدآورنده : edited by S. I. Adian, W. W. Boone, G. Higman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gödel's theorem-- Congresses,Group theory-- Congresses
رده :
QA171
.
W86
1410. Word problems; decision problems and the Burnside problem in group theory
پدیدآورنده : edited by W.W.Boone, F.B.Cannonito ]and[R.C.Lyndon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Groups, Theory of,Godel's theorem -Congresses
رده :
QA
171
.
W85
1411. Word problems, decision problems and the burnside problem in group theory
پدیدآورنده : / edited by W. W. Boone, F. B. Cannonito, R. C. Lyndon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Groups, theory of - Congresses,Godel's theoren - Congresses
رده :
512
.
22
Wo
1413. agent systems-Argumentation in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1414. agent systems-Argumentation in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1415. agent systems-Computational logic in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1416. agent systems-Computational logic in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1417. agent systems-Computational logic in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Mehragentensystem. ; swd. ; Computational logic. ; swd. ;
1418. based program synthesis and transformation :-Logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses ;
1419. classical logics-Interval/probabilistic uncertainty and non
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Uncertainty (Information theory) ; Congresses. ; Nonclassical mathematical logic ; Congresses. ;
